signature X86_TO_ASSEM_STRUCTS =
sig
  structure Assem : ASSEM
  structure X86Assem : X86_ASSEM
end

signature X86_TO_ASSEM =
sig
  include X86_TO_ASSEM_STRUCTS
  
  val x86ToAssem : X86Assem.prog -> (Assem.pprf list * Assem.ginf)
end
